Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
51	Online Learning for Big Data Analytics Irwin King, Michael R. Lyu and Haiqin Yang Department of Computer Science & Engineering The Chinese University of Hong Kong Tutorial presentation at IEEE Big Data, Santa Clara, CA, Add to Reading List Source URL: www.ischool.drexel.edu Language: English - Date: 2014-02-06 12:27:20 Computing Data Information technology Formal sciences Learning Business intelligence Big data Data management Transaction processing Machine learning Analytics Perceptron
52	Microsoft Word - Intro to Biomedical Ontologies Poster.doc Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2007-11-21 11:05:49 Ontology Academia Information science Knowledge OBO Foundry Barry Smith Formal ontology Web Ontology Language Open Biomedical Ontologies Draft:Outline of ontologies Gene ontology Upper ontology
53	Trust in programming tools: the formal verification of compilers and static analysers Xavier Leroy Inria Paris Verified trustworthy software systems, April 2016 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2016-04-05 14:57:15 Software Computing Real-time computing Worst-case execution time Simulink French Institute for Research in Computer Science and Automation Xavier Leroy AbsInt
54	Formalizing Symbolic Decision Procedures \| {z in Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-11-16 04:08:00 Formal languages Regular language Regular expression Brzozowski derivative Symbol Theoretical computer science Grammar Metalogic
55	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.2.B-1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-07 09:24:09 Computing Software engineering Technology Formal methods Product development Project management Scientific modeling Logic in computer science Software development Information model Modeling language Entityrelationship model
56	KERNELS AND SIMILARITY MEASURES FOR TEXT CLASSIFICATION Andr´e T. Martins Priberam Inform´atica, and Instituto de Telecomunicac¸o˜ es Instituto Superior T´ecnico, Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2007-07-11 09:16:08 Computing String computer science) Formal languages Mathematics Geostatistics Kernel method Suffix tree String kernel Entropy String Kernel Regular expression
57	MATTEO RIONDATO Curriculum vitae 100 Avenue of the Americas, 16th Fl. New York, NY 10013, USA + Add to Reading List Source URL: matteo.rionda.to Language: English - Date: 2016-08-23 08:51:11 Data mining Formal sciences Information technology Information science Computing Association for Computing Machinery SIGKDD ECML PKDD Web mining Business intelligence Social media mining Temporal information retrieval
58	AIRS Project Ontologies Ron Rudnicki The Actionable Intelligence Retrieval System (AIRS) is an integrated collection of applications designed to extract knowledge from a large number of widely varied d Add to Reading List Source URL: ncor.buffalo.edu Language: English - Date: 2012-01-20 17:00:40 Ontology Information science Knowledge representation Technical communication Information Knowledge Semantic Web Upper ontology Formal ontology OBO Foundry Web Ontology Language Draft:Outline of ontologies
59	J Sci Educ Technol:127–147 DOIs10956Defining Computational Thinking for Mathematics and Science Classrooms David Weintrop1,2 • Elham Beheshti3 • Michael Horn1,2,3 • Kai Orton1,2 Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2016-05-03 12:24:06 Academia Engineering Knowledge Bioinformatics Formal sciences Computational thinking Computer science Neuroinformatics Complexity Mathematics Computational science Computational mathematics

UPDATE